Overview

In this job, you need to verify if a wine sort is correctly represented by a model.
This is only a tutorial job, which prepares you for the actual jobs. Therefore, you have the possibility to check the correctness of your answers before submitting them. The goal is for you to understand how the platform works, in what format the questions are presented as well as to get you familiar with the verification of restrictions.

Steps

  1. Examine the wine sort
  2. Examine the model
  3. Decide whether the model correctly represents the wine sort
  4. If the model is invalid, select what defect it includes

Overview

In this job, you need to verify if a wine sort is correctly represented by a model.
This is only a tutorial job, which prepares you for the actual jobs. Therefore, you have the possibility to check the correctness of your answers before submitting them. The goal is for you to understand how the platform works, in what format the questions are presented as well as to get you familiar with the verification of restrictions.

Steps

  1. Examine the wine sort
  2. Examine the model
  3. Decide whether the model correctly represents the wine sort
  4. If the model is invalid, select what defect it includes

Rules & Tips

Rules :

  • Existential restrictions indicate that there must be a property of the specified type. Other types are not restricted.
    Keywords in textual models: some ; at least one
    Representation in a graphical model:


    • For example : "PetLoverTypeB has, amongst other things, some Cat pets." - Every instance of PetLoverTypeB has a Cat pet and may also have other pets.

  • Universal restrictions indicate that all property values for the specified property must be of a certain type. All values must be of the type but a property value does not have to exist.
    Keywords in textual models: only ; no other than
    Representation in a graphical model:
    • For example: "PetLoverTypeA has, amongst other things, only Dog pets." - If instances of PetLoverTypeA have pets, the pets are always dogs. Instances of PetLoverTypeA, however, may not have any pets.

Tips:

  • The universal restriction does not imply the existential restriction.
  • If some information is not included in the model, the missing information is not false unless it contradicts the model.
Correct Modeling Incorrect Modeling

White Burgundy Wine is, amongst other things, made from some Chardonnay grapes and is also made only from Chardonnay grapes.

White Burgundy Wine is, amongst other things, made only from Chardonnay grapes.

White Burgundy Wine is, amongst other things, made from at least one Chardonnay grape and is also made from no other than Chardonnay grapes.

White Burgundy Wine is, amongst other things, made from no other than Chardonnay grapes.


The model does not represent the wine sort correctly as it allows for the possibility that White Burgundy Wine isn't made from any grapes at all.




Please make sure you are familiar with the rules and examples provided in the Instructions before answering the question.


Wine Sort Model
${axiom}



Does the model represent the wine sort correctly?










See the correct answer!